首页> 外文OA文献 >Incident and accident investigation techniques to inform modelbased design of safety-critical interactive systems

【2h】

Incident and accident investigation techniques to inform modelbased design of safety-critical interactive systems

机译：事故和事故调查技术，为基于模型的安全关键交互系统设计提供信息

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Ra Basnyat; Nick Chozos; Chris Johnson;
展开▼
作者单位

展开▼
年度 2005
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Formal socio-technical barrier modelling for safety-critical interactive systems design [J] . S. Basnyat, P. Palanque, B. Schupp, Safety science . 2007,第5期

机译：安全关键型交互系统设计的正式社会技术障碍建模
2. Using Z to support the design of interactive safety-critical systems [J] . Johnson C.W. Software Engineering Journal . 1995,第2期

机译：使用Z支持交互式安全关键系统的设计
3. Software design specification and analysis technique (SDSAT) for the development of safety-critical systems based on a programmable logic controller (PLC) [J] . Seo Ryong Koo, Poong Hyun Seong Reliability Engineering & System Safety . 2006,第6期

机译：用于基于可编程逻辑控制器（PLC）的安全关键型系统开发的软件设计规范和分析技术（SDSAT）
4. Incident and Accident Investigation Techniques to Inform Model-Based Design of Safety-Critical Interactive Systems [C] . Sandra Basnyat, Nick Chozos, Chris Johnson, International Workshop on Interactive Systems . 2006

机译：事件和事故调查技术，以告知基于模型的安全关键互动系统的设计
5. New Techniques to Analyze Energy Use and Inform Sustainable Planning, Design, and Operation of Public Water Systems [D] . Sowby, Robert B. 2018

机译：分析能源使用的新技术，了解公共水系统的可持续规划，设计和运营
6. Design of an Interactive Mind Calligraphy System by Affective Computing and Visualization Techniques for Real-Time Reflections of the Writer’s Emotions [O] . Chao-Ming Wang, Yu-Chen Chen 2020

机译：由情感计算和可视化技巧为作家情绪的实时反映的互动性心态书法系统设计
7. Integrating HCI concerns into the design of safety-critical interactive systems: a case study [O] . Jason Good, Ann Bl, Principal Investigator, 2015

机译：将HCI问题集成到安全关键交互系统的设计中：案例研究
8. Accident/Incident Investigation Techniques [R] . Bacastow, J. L. 1978

机译：事故/事故调查技术

Incident and accident investigation techniques to inform modelbased design of safety-critical interactive systems

著录项

引文网络

相似文献

相关主题

期刊订阅